Special Section on Formal Methods in Manufacturing

نویسندگان

  • D. Gómez-Gutiérrez
  • G. Ramírez-Prado
  • A. Ramírez-Treviño
چکیده

Observability of Switched Linear Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . D. Gómez-Gutiérrez, G. Ramírez-Prado, A. Ramírez-Treviño, and J. Ruiz-León 127 On Formal Analysis of IEC 61499 Applications, Part A: Modeling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . G. Čengić and K. Åkesson 136 On Formal Analysis of IEC 61499 Applications, Part B: Execution Semantics . . . . . . . . . . . . . . . . G. Čengić and K. Åkesson 145 Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . V. Vyatkin and V. Dubinin 155 Modeling Distributed Transportation Systems Composed of Flexible Automated Guided Vehicles in Flexible Manufacturing Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . D. Herrero-Pérez and H. Martínez-Barberá 166

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Guest Editorial: Special section on software engineering in industrial automation

A CCORDING to many undisputable evidences, the complexity and importance of software in industrial automation systems is growing with a tremendous rate, making software engineering one of the major activities of automation systems developers. In general, software engineering is an established discipline with its methods, traditions and curriculum. Most of its methods and tools are applicable ac...

متن کامل

Layout Design of a Furniture Production Line Using Formal Methods

This paper experiments application of different heuristic approaches to a real facility layout problem at a furniture manufacturing company. All the models are compared using AHP, where a number of parameters of interest are employed. The experiment shows that formal layout modelling approaches can be effectively used real problems faced in industry, leading to significant improvements.

متن کامل

Special section on Software Verification and Testing

We are delighted to present this special section containing extended versions of selected papers from the Software Verification and Testing (SVT 2013) track at the 28th ACM Symposium on Applied Computing (ACM SAC 2013), which took place in March 2013 in Coimbra, Portugal. The SVT track aims to bring together academic researchers and industry R&D expertise to discuss new results in formal verifi...

متن کامل

Formal Method in Service Composition in Heath Care Systems

One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...

متن کامل

Formal and Empirical Methods in Philosophy of Science

This essay addresses the methodology of philosophy of science and illustrates how formal and empirical methods can be fruitfully combined. Special emphasis is given to the application of experimental methods to confirmation theory and to recent work on the conjunction fallacy, a key topic in the rationality debate arising from research in cognitive psychology. Several other issue can be studied...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010